Panduan C++ Edisi Kelima: Blueprint untuk Kode Generik

Bayangkan Anda seorang arsitek. Alih-alih menggambar denah tetap untuk satu rumah bata, Anda merancang sebuah blueprint utama blueprint yang dapat beradaptasi dengan kayu, baja, atau kaca. Dalam C++, hal ini disebut Pemrograman Generik.

1. Mekanisme Blueprint

Sebuah daftar parameter template (misalnya, template <typename T>) memperkenalkan tempat kosong yang disebut parameter tipe template. Ini bertindak sebagai variabel untuk tipe. Misalnya, dalam template <typename T> ostream &print(ostream &os, const T &obj), T ditentukan hanya saat fungsi dipanggil.

2. Instansiasi

Compiler tidak mengompilasi template itu sendiri menjadi kode mesin. Sebaliknya, instansiasi terjadi: compiler menghasilkan versi spesifik dari kode hanya saat diberikan argumen template yang konkret. Karena alasan ini, definisi biasanya harus berada di file header.

3. Menulis Kode Bebas Tipe

Untuk memaksimalkan kemampuan digunakan kembali, ikuti Praktik Terbaik: minimalisasi persyaratan. Menulis kode menggunakan hanya operator < operator (melalui less<T>) mengurangi persyaratan terhadap tipe dibandingkan menggunakan >, <=, dan >=. Validasi sering ditunda; compiler umumnya tidak dapat menemukan banyak kesalahan pada tahap kompilasi template itu sendiri; kebanyakan muncul selama instansiasi.

TERMINALbash — 80x24

> Ready. Click "Run" to execute.

QUESTION 1

What is 'instantiation' in the context of C++ templates?

The process of checking a template for syntax errors without types.

The process where the compiler generates a concrete function or class from a template blueprint using specific types.

The manual conversion of a template into a non-template function by the programmer.

The linking stage where multiple templates are merged.

QUESTION 2

Why is it recommended to use only the '<' operator (or less<T>) in templates like 'compare'?

It makes the code execute faster.

It reduces the requirements on template argument types, allowing the template to work with more classes.

The compiler cannot understand other operators in a template block.

It is a requirement of the C++ standard for all templates.

QUESTION 3

When does the compiler catch an error if a type passed to a template doesn't support a required operation (like addition)?

When the template is first defined.

During the instantiation of the template.

Only during runtime.

During the preprocessing stage.

QUESTION 4

Which keywords can be used interchangeably in a template parameter list to define a type parameter?

template and typename

typename and class

struct and class

auto and decltype

QUESTION 5

Where should function template definitions usually be placed?

In .cpp files only to prevent multiple definitions.

In header files.

Inside the main() function.

In a separate binary library.